Creating kernel modules in VirtualBox